1541. Ubiquitous communications and network computing :
پدیدآورنده: Navin Kumar, R. Venkatesha Prasad (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks, Congresses.,Computer science, Congresses.,Internet of things, Congresses.,Computer networks.,Computer science.,Internet of things.
رده :
TK5105
.
5
1542. Ubiquitous intelligence and computing :
پدیدآورنده: Ching-Hsien Hsu [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Ubiquitous computing, Congresses
رده :
QA76
.
5915
.
U33
2011
1543. Ultimate Limits of Fabrication and Measurement
پدیدآورنده: edited by M.E. Welland, J.K. Gimzewski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Manufacturing processes -- Congresses.,Measurement -- Congresses.,Nanotechnology -- Congresses.
رده :
T174
.
7
E358
1995
1544. Ultra-wideband short-pulse electromagnetics 10 /
پدیدآورنده: Frank Sabath, Eric L. Mokole, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Broadband communication systems, Congresses.,Signal processing, Congresses.,Ultra-wideband radar, Congresses.
رده :
TK5103
.
4
1545. Understanding and interpreting machine learning in medical image computing applications :
پدیدآورنده: Danail Stoyanov, Zeike Taylor, Seyed Mostafa Kia, Ipek Oguz, Mauricio Reyes et al. (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer-assisted surgery, Congresses.,Diagnostic imaging-- Data processing, Congresses.,Image Interpretation, Computer-Assisted.,Artificial intelligence.,Computer-assisted surgery.,Computers-- Computer Graphics.,Computers-- Computer Science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Diagnostic imaging-- Data processing.,Health & safety aspects of IT.,Image processing.,Life sciences: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Medical-- General.
رده :
RC78
.
7
.
D53
I58
2018
1546. VLSI Algorithms and Architectures : 3rd Aegean Workshop on Computing, AWOC88, Corfu, Greece, June 28-July, 1988 : Proceedings
پدیدآورنده: J.H. Reif ]ed.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Computer architecture,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
319
1547. VLSI-SOC, from systems to chips :
پدیدآورنده: edited by Manfred Glesner ... [et al.].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Integrated circuits-- Very large scale integration, Congresses.,Systems on a chip, Congresses.
1548. VLSI algorithms and architectures : Aegean Workshop on Computing, Loutraki Greece, July 8-11, 1986: Proceedings
پدیدآورنده: edited by F. Makedon...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Computer architecture
رده :
QA
76
.
L28
Vol
.
227
1549. VLSI algorithms and architectures : Aegean Workshop on Computing, Loutraki, Greece, July 8-11, 1986 : proceedings
پدیدآورنده: edited by F. Makedon ... )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Computer architecture
رده :
QA
76
.
L4
v
.
227
1550. VLSI algorithms and architectures: Aegean workshop on computing, Loutraki, Greece, July 8-11, 1986; Proceedings
پدیدآورنده: edited by F. Makedon...)et al.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Very large scale integration - Congresses ، Integrated circuits,Congresses ، Computer architecture
رده :
TK
7874
.
A338
1986
1551. VLSI algorithms and architectures: 3rd Aegean Workshop on Computing, AWOC 88, Corfu, Greece, June 28-July 1, 1988: proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Integrated circuits-- Very large scale integration,Congresses ، Computer architecture,Congresses ، Algorithms
رده :
TK
7874
.
A338
1988
1552. Variable neighborhood search :
پدیدآورنده: Angelo Sifaleras, Said Salhi, Jack Brimberg (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Traveling salesman problem, Congresses.,Traveling salesman problem.
رده :
QA402
.
5
1553. Variable neighborhood search :
پدیدآورنده: Nenad Mladenovic, Andrei Sleptchenko, Angelo Sifaleras, Mohammed Omar (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorial optimization-- Data processing, Congresses.,Heuristic algorithms, Congresses.,Combinatorial optimization-- Data processing.,Heuristic algorithms.
رده :
QA402
.
5
1554. Variational methods
پدیدآورنده: / John M. Neuberger, editor
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Differential equations, Elliptic- Congresses,Variational inequalities (Mathematics)- Congresses
رده :
QA377
.
V37
2004
1555. Variational methods: open problems, recent progress, and numerical algorithms, June 5-8, 2002, Northern Arizona University, Flagstaff, Arizona
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Differential equations, Elliptic,Congresses ، Variational inequalities )Mathematics(
رده :
QA
377
.
V37
2004
1556. Variational methods : open problems, recent progress, and numerical algorithms : Variational Methods : Open Problems, Recent Progress, and Numerical Algorithms, June 5-8, 2002, Northern Arizona University, Flagstaff, Arizona
پدیدآورنده: John M. Neuberger, editor
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Differential equations, Elliptic,Congresses ، Variational inequalities )Mathematics(
رده :
QA
377
.
C658
2002
1557. Verification and evaluation of computer and communication systems :
پدیدآورنده: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
رده :
TK5105
.
5
1558. Verification of digital and hybrid systems
پدیدآورنده: edited by M. Kemal Inan, Robert P. Kurshan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer systems -- Verification -- Congresses.,Computer systems -- Verification.,Logiciels -- Vérification
رده :
QA76
.
76
.
V47
E358
2000
1559. Very high angular resolution imaging : proceedings of the 158th Symposium of the International Astronomical Union held at the Women's College, University of Sydney, Australia, 11-15 January 1993
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Imaging systems in astronomy-- Congresses,، Resolution )Optics(-- Congresses,، Interferometry-- Congresses,، Algorithms-- Congresses
رده :
QB
51
.
3
.
I45
.
I48
1993
1560. Virtual ADMET Assessment in Target Selection and Maturation.
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Drug development-- Data processing, Congresses.,Drug development, Congresses.,Computational Biology.,Drug Design.,Pharmaceutical Preparations.,Pharmacokinetics.,Drug development.,MEDICAL-- Drug Guides.,MEDICAL-- Nursing-- Pharmacology.,MEDICAL-- Pharmacology.,MEDICAL-- Pharmacy.
رده :
RM301
.
25
.
V575
2006eb
